snd{-}it(${\it ff}$; $p$; $e$; $i$; $j$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(fifoS(${\it ff}$)($i$,$j$,$e$)) $\wedge$ ($p$($e$))